Рассматриваются и анализируются некоторые из известных способов и методик разработки программного обеспечения (ПО), в частности этапа проектирования, как одного из важнейших. Описывается методика, в которой используются UML диаграммы для моделирования свойств и динамики работы системы, а также сети Петри для анализа динамических свойств спроектированных поведенческих диаграмм. Приводится усовершенствованная методика взаимного использования UML диаграмм и сетей Петри. Предлагаемая методика демонстрируется на примере системы АСУ ТП насосной станции, а именно, проектирования диаграммы прецедентов, диаграмма классов и диаграмма объектов, а также диаграмма деятельности, преобразование которой реализуется по формальным правилам. При анализе сети Петри, транслированной из диаграммы деятельности, были выявлены некорректные состояния, в которых оказывалась система при включении и выключении насосов оператором. После устранения данной ситуации, ошибок в динамике работы системы не осталось. В результате анализа получено представление о размере дерева достижимости системы, составляющее величину порядка 10 6 .
Разработка программного обеспечения на основе свободного и свободно-распространяемого программного обеспечения (ПО) — весьма востребованная в современных условиях тема. С одной стороны, набор инструментального и организационного ПО весьма широк и доступен на всех программно-аппаратных платформах, с другой — имеются значительные юридические и методологические сложности и неопределенности в практическом применении такого ПО в России. В статье рассматриваются как свободные и открытые, так и коммерческие экономически эффективные модели разработки.
1 - 2 из 2 результатов